Charakteristische Eigenschaften des Ellipsoids

Formale Eigenschaften des SILKE-Ansatzes zur Kontrolle selbstoptimierender Systeme

Im Rahmen des Organic Computing werden auch eingebettete Echtzeitsysteme immer öfter mit selbstoptimierenden Eigenschaften ausgestattet. Die selbsttätige Adaption des Systemverhaltens kann aber potentiell zu kritischen Systemzuständen führen. Für spezielle lernfähige Fuzzy-Systeme wurde der sogenannte SILKE-Ansatz entwickelt, um kontrollierend auf den Selbstoptimierungsprozess einzuwirken und i...

Objektnetze: Definition und Eigenschaften

Mobile Programme finden zunehmend Verbreitung, beispielsweise als eingebetteter Bestandteil von Mobiltelefonen oder in Form von applets im Web. Diesen Systemen ist gemeinsam, dass sie verteilt arbeiten, nebenläufig Aktionen ausführen und dynamisch ihren Kontext wechseln. Gerade diese Eigenschaften gehören jedoch nicht zu den primären Konzepten aktueller Programmiersprachen. Mit den Objektnetzen...

Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs

Softwarebasierte Funktionalitäten gewinnen zunehmend an Bedeutung für moderne Automobile – ein Großteil der Innovationen wird von Elektronik und Software getrieben. Zahlreiche Sicherheitsund Komfortfunktionen werden durch Software ermöglicht. Automobile eingebettete Systeme bilden ein hochkomplexes heterogenes Netzwerk, bestehend aus bis zu 70 Steuergeräten. Die Beherrschung der Komplexität die...

Aufgaben der ersten Runde des Bundeswettbewerbs Informatik - Kontinuität und Wandel

Seit 1985 werden innerhalb der ersten Runde des Bundeswettbewerbs Informatik Aufgaben gestellt, die Schülerinnen und Schüler für die Informatik motivieren sollen. Manche charakteristische Eigenschaften der Aufgaben sind in den vergangenen 25 Jahren praktisch unverändert. Es sind jedoch auch Wandlungen festzustellen, die auf die Entwicklung des Unterrichtsfachs Informatik an allgemeinbildenden S...

Modellierung und Visualisierung der dynamischen Eigenschaften des Tongenerators bei der Ersatzstimmgebung